81. Formal description techniques, II
پدیدآورنده: / Edited by Son T. Vuong
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
82. Formal description techniques III
پدیدآورنده: / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه تهران (تهران)
موضوع: Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
83. Formal language description languages for computer programming; proceedings
پدیدآورنده: / Edited by T.B. Steel, Jr
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
I17
1964
84. Formal language description languages for computer programming; proceedings
پدیدآورنده: IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
85. Formal semantics of Programming languages
پدیدآورنده: Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
86. Foundations of object-oriented languages: REX School/Workshop, Noordwijkerhout, the Netherlands, May 28-June 1, 1990: Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Object-oriented programming )Computer science(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
64
.
R49
1990
87. Foundations of object-oriented languages : REX School/Workshop Noordwijkerhout, the Netherlands, May 28-June 1, 1990 : Proceedings
پدیدآورنده: J.W. de Bakker, W.P. de Roever, G. Rozenberg, )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Object-oriented programming )Computer science(,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
489
88. GI 3. Fachtagung uber programmiersprachen Kiel, 5-7, Marz, 1974
پدیدآورنده: Herausgegeben von Bodo Schlender und Wolfgang Frielinghaus
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
7
89. Generalized quantifiers and computation
پدیدآورنده: Jouko Väänänen (ed.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.
90. Graphic languages. Proceedings
پدیدآورنده: IFIP Working Conference on Graphic Languages, 2791, Vancouver, B.C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer graphics-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
T
385
.
I25
1972
91. HOPL III
پدیدآورنده: sponsored by ACM SIGPLAN ; in-cooperation with ACM SIGSOFT.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Programming languages (Electronic computers)-- History, Congresses.
92. IFIP working conference on command languages, lund, sweden, 1974. command languages; proceedings
پدیدآورنده: Command languages
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers)- congresses
رده :
I61c
93. International Symposium on Theoretical Programming )Proceedings held on August 7-11, 1972(
پدیدآورنده: International Symposium on Theoretical Programming, 2791, Novosibirsk
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming )Electronic computers(-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I5798
1972
94. International Symposium on Theoretical Programming (Proceedings held on August 7-11, 1972)
پدیدآورنده: / Edited by Andrei Ershov and Valery A. Nepomniaschy
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computer programming -- Congresses,Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
I
5793
95. (Lambda)-calculus and computer science theory
پدیدآورنده: / IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Combinatory logic -- Congresses,Programming languages (Electronic computers) -- Congresses
رده :
QA
9
.
5
.
L35
96. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Combinatory logic-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
9
.
5
.
L35
97. Language design and programming methodology : proceedings of a Symposium held in Sydney, Australia, 10-11 September, 1979
پدیدآورنده: edited by Jeffrey M. Tobias
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Computer programming
رده :
QA
76
.
L28
Vol
.
79
98. Language design and programming methodology : proceedings of a symposium held at Sydney, Australia, 10-11 September 1979
پدیدآورنده: edited by Jeffrey M. Tobias
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Electronic digital computers - Programming
رده :
QA
76
.
L4
v
.
79
99. Language hierarchies and interfaces : International Summer School
پدیدآورنده: F.L. Bauer...]et al.[; edited by F.L. Bauer, K. Samelson
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
46
100. Language hierarchies and interfaces : international summer school
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Electronic digital computers-- Programming-- Congresses,، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
6
.
L335
